A Formal Model of Identity Mixer

نویسندگان

  • Jan Camenisch
  • Sebastian Mödersheim
  • Dieter Sommer
چکیده

Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name and birthdate. This privacy-friendly technology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol verification tools in the spirit of black-box cryptography models. We also describe the translation from the credential requirement specification language CARL to an Identity Mixer proof specification.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Formal Model of Identity Mixer Mixer

Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate. This privacy-friendly technology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol verification tools in the spirit of black-box cryptogr...

متن کامل

Design and Development of Mathematical Model for Static Mixer

A numerical model for simulating Residence Time Distribution (RTD) of turbulent flows in helical static mixers is proposed and developed to improve the understanding of static mixers. The results of this model is presented in terms of different volumetric flow rate to illustrate the complicated flow patterns that drive the mixing process i...

متن کامل

The Study of Corresponding Effects of anionic surfactant concentration and solute on Drop Size in a Mixer-Settler Extractor and Propose an Empirical Model

Drop size distribution in a mixer-settler is an essential design parameter, as obtaining drop size distribution will result in optimum performance of equipment. In this paper for obtaining drop size, several experiments have been performed with a single stage horizontal mixer-settler. A video technique has been used in order to measure the drop size in the mixer-settler with the help of a digit...

متن کامل

Hydrodynamic Characterization of Mixer-Settlers in Extraction of Zirconium with TBP

An experimental study has been made of the hydrodynamics of a stage mixer-settler to obtain appropriate design information. In this paper several tests were done according to full factorial design of experiments with high reliability, since each test recurs seven times and the results of  them are very close to each other(P=1bar and T=25 °C). Sauter diameter in each test is determined with ...

متن کامل

Dispersion Parameters and Effect of Impeller Speed, Holdup and Volume Fraction of Dispersed Phase on Separation Efficiency, Mass Transfer Coefficient of Dispersed Phase and Distribution Coefficient on Mixer-Settler Set

An experimental study has been conducted on the hydrodynamics of a stage mixer-settler to obtain an appropriate design. In this paper several tests was performed to investigate full factorial design of experiments. Since each test was repeated seven times, the repeatability of the test was confirmed (P=1 bar and T=25 °C). Sauter diameter was determined by photographing both the mix...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010